(0 17 10)(1 16 3)(2 11 8)(4 13 7)(5 15 6)(9 14 12)
ALLOWS (11/8)-SEQUENCE
1: (6 10 15)
(0 17 10 5 15)(1 16 3)(2 11 8)(4 13 7)(6)(9 14 12)
2: (4 13 7)
(0 17 10 5 15)(1 16 3)(2 11 8)(4)(6)(7)(9 14 12)(13)
3: (0 5 15)
(0)(1 16 3)(2 11 8)(4)(5 17 10)(6)(7)(9 14 12)(13)(15)
4: (9 14 12)
(0)(1 16 3)(2 11 8)(4)(5 17 10)(6)(7)(9)(12)(13)(14)(15)